🌐 Protocol Synthesis - matmat · Scour

Tackling Unmaintainable Complexity with Automation: Building a Multi-Tenant SaaS Solo

ko-chan.github.io·4h·

Discuss: DEV

🔐Capability Systems

JavaScript vs Go: A Deep Dive into Syntax and Philosophy

dev.to·2h·

Discuss: DEV

🔗Concatenative Programming

A Validated Semantics for LLVM IR

sf.snu.ac.kr·9h

✅Formal Methods

Show HN: Xcc700: Self-hosting mini C compiler for ESP32 (Xtensa) in 700 lines

github.com·1d·

Discuss: Hacker News

🍎XNU Internals

Optimizing Bracha's Reliable Broadcast: Shaving Rounds off a 37-Year-Old Algorithm

blog.can.ac·2d

🤝Paxos Consensus

GHC 9.12.3 is now available

haskell.org·20h

💧Liquidhaskell

FASTRIC: Prompt Specification Language for Verifiable LLM Interactions

arxiv.org·4d

💧Liquid Types

genodians.org·1d

🦀Rust Macros

Horton persistence progress

terracrypt.net·8h

🦀Rust Macros

From Zero to QED: An informal introduction to formality in Lean 4

sdiehl.github.io·1d

ssh-agent broken in tmux? I've got you!

jmmv.dev·1d

The 3 a.m. Call That Changed The Way I Design APIs

thenewstack.io·2h

👁️Observatory Systems

Network Programming

theworld.com·22h

📡Network Protocol Design

jart/jtckdint: C23 Checked Arithmetic

github.com·1d

💧Liquid Types

Show HN: AgentCmds – A directory of slash commands for AI agents

agentcmds.work·10h·

Discuss: Hacker News

⚡Proof Automation

What F# Knows About Functors and What Comes Next

dev.to·1d·

Discuss: DEV

💻Programming languages

Introducing Pkl, a programming language for configuration

pkl-lang.org·1h

💧Liquid Types

"Unfortunately We Are Unable to Provide Feedback"

gagliardoni.net·23h·

Discuss: Hacker News

🔄Session Type Inference

The production bug that made me care about undefined behavior

gaultier.github.io·11h·

Discuss: Hacker News, r/programming

🦀Rust Macros

Vibe Coding vs. Vibe Engineering

loufranco.com·1d

📏Code Metrics

Loading more...